Appendix for a paper appearing in Journal of Functional Programming 14 (3): 317–363, May 2004, Cambridge University Press. 1 Proof appendix:

Source URL: www.janis-voigtlaender.eu

Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Source URL: cliplab.org

• International Conference on Logic Programming
• Symposium on Principles of Programming Languages
• ICLP
• Association for Computing Machinery
• Logic programming
• Logic
• Prolog

Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding

Source URL: www.paultaylor.eu

• Category theory
• Functional programming
• Algebras
• Boolean algebra
• F-algebra
• Functor
• Algebraic structure
• Ordinal number
• F-coalgebra
• Adjoint functors
• Constructible universe
• Free algebra

HAL8 Workshop: A Practical Approach to GHC Language Extensions Matthias Fischmann and S¨onke Hahn {mf,sh}@zerobuzz.net May 2, 2013 Abstract

Source URL: www.bioinf.uni-leipzig.de

• Functional programming
• Functional languages
• Data types
• Type theory
• Source code
• Generalized algebraic data type
• Haskell
• Type class
• Lisp
• Macro
• Guard
• Pattern matching

02157 Functional Programming - Lecture 11: Imperative, Asynchronous, Parallel and Monadic Programming A short story

Source URL: www.imm.dtu.dk

Introduction to newLISP The "Introduction to newLISP" has moved to: http://en.wikibooks.org/wiki/Introduction_to_newLISP

Source URL: www.newlisp.org

• Functional languages
• NewLISP
• Lightweight programming language

NPRG049— Programovací jazyky OCaml a F# Tomáš Petříček, Functional Programming in F# (the fun way to learn mathematical thinking)

Source URL: tomasp.net

• Functional languages
• Object-oriented programming languages
• OCaml
• Caml
• Cross-platform software
• Functional programming
• Wacaw Sierpiski
• Wolfram Mathematica
• Tom Petek
• Sierpinski carpet

True Sums of Products Edsko de Vries Well-Typed LLP Well-Typed LLP

Source URL: www.edsko.net

• Functional programming
• Data types
• Type theory
• Functional languages
• Programming language comparisons
• Fold
• Polymorphism
• Monad
• Generic programming
• Map
• XS
• Generalized algebraic data type

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Scala-Virtualized: Linguistic Reuse for Deep Embeddings Tiark Rompf · Nada Amin · Adriaan Moors · Philipp Haller · Martin Odersky

Source URL: lampwww.epfl.ch

• Functional languages
• Object-oriented programming languages
• Order theory
• Scala
• Embedding
• Monad
• OCaml

Emma in Action: Declarative Dataflows for Scalable Data Analysis Alexander Alexandrov Andreas Salzmann Georgi Krastev Asterios Katsifodimos

Source URL: stratosphere.eu

• Computing
• Software engineering
• Computer programming
• Parallel computing
• Concurrent programming languages
• Functional languages
• Apache Software Foundation
• Cluster computing
• Apache Spark
• Apache Flink
• Scala
• Monad